signed int* arrsi_to_psi(signed int arrsi[]);
signed int* arr5si_to_psi(signed int arrsi[5]);
